Spéculation et auto-stabilisation

نویسندگان

  • Swan Dubois
  • Rachid Guerraoui
چکیده

L’auto-stabilisation garantit qu’à la fin d’une période de fautes transitoires, un système réparti retrouve de lui-même un comportement correct en un temps fini. La spéculation consiste à garantir que le système soit correct pour toute exécution mais possède des performances significativement meilleures pour un sous-ensemble d’exécutions qui sont supposées plus probables. Un protocole spéculatif est donc à la fois robuste et efficace en pratique. Nous introduisons ici la notion de spéculation en auto-stabilisation en présentant un protocole spéculativement stabilisant d’exclusion mutuelle. Ce dernier stabilise pour toute exécution et son temps de stabilisation est optimal pour les exécutions synchrones.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

Un protocole auto-stabilisant a la capacité de converger vers un comportement correct quel que soit son état initial. La grande majorité des travaux en auto-stabilisation supposent une communication par mémoire partagée ou bien à travers des canaux de communication fiables et FIFO. Dans cet article, nous nous intéressons aux systèmes auto-stabilisants à passage de messages à travers des canaux ...

متن کامل

Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1

Un protocole auto-stabilisant est par nature tolérant aux fautes transitoires (i.e. de durée finie). Ces dernières années ont vu apparaı̂tre une nouvelle classe de protocoles qui, en plus d’être auto-stabilisants, tolèrent un nombre limité de fautes permanentes. Dans cet article, nous nous intéressons aux protocoles auto-stabilisants tolérant des fautes permanentes très sévères : les fautes Byza...

متن کامل

About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks

Ad hoc networks are spontaneous wireless networks without any wired infrastructure, composed of mobile terminals. We assume that nodes must collaborate to set up an efficient network, such a collaboration requiring a self-organization in the network. We proposed a virtual structure to organize the network: the backbone is a connected structure helping to optimize the control traffic flooding. C...

متن کامل

Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs

This paper considers gossiping among mobile agents in graphs: agents move on the graph and have to disseminate their initial information to every other agent. We focus on self-stabilizing solutions for the gossip problem, where agents may start from arbitrary locations in arbitrary states. Self-stabilization requires (some of the) participating agents to keep moving forever, hinting at maximizi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1304.6994  شماره 

صفحات  -

تاریخ انتشار 2013